1. Basic proof theory
پدیدآورنده : A.S. Troelstra, H. Schwichtenberg,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Proof theory
رده :
QA
.
T76
9
.
54
1996
2. Basic proof theory
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory
رده :
QA
9
.
54
.
T76
2000
3. Constructivism in mathematics
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Constructive mathematics. ;
4. Constructivism in mathematics
پدیدآورنده : A.S. Troelstra, D. van Dalen,Title
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Constructive mathematics
رده :
QA
.
T74
9
.
56
1988
5. Constructivism in mathematics :
پدیدآورنده : A.S. Troelstra, D. van Dalen
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Constructive mathematics
رده :
QA9
.
56
.
T74
1988
6. Constructivism in mathematics : an introduction
پدیدآورنده : Troelstra, A. S.)Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Constructive mathematics
رده :
QA
9
.
56
.
T74
1988
7. Lectures on linear logic
پدیدآورنده : / A.S. Troelstra
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
T76
1991
8. Lectures on linear logic
پدیدآورنده : / A.S. Troelstra
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
9. Lectures on linear logic
پدیدآورنده : / A.S. Troelstra
کتابخانه: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
T76
1991
10. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
موضوع : ، Intuitionistic mathematics,، Proof theory,، Model theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
11. Metamathematical investigation of intuitionistic arithmetic and analysis
پدیدآورنده : / A. S. Troelstra
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Intutitionistic mathematics,Proof Theory,Model Theory
رده :
510
.
8
Me
12. Principles of intuitionism :
پدیدآورنده : A. S. Troelstra.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Intuition.,Logic, Symbolic and mathematical.
13. Principles of intuitionism
پدیدآورنده : Troelstra, A. S. )Anne Sjerp(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Intuitionistic mathematics
رده :
QA
3
.
L28
no
.
95
14. Principles of intuitionism
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Intuition,، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
95
15. Principles of intuitionism : lectures presented at the summer conference on intuitionism and proof theory )1968( at SUNY
پدیدآورنده : Troelstra, Anne Sjerp
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
T84
1968
